1. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86